3

Concurrent bisimulations in Petri nets

Année:
1991
Langue:
english
Fichier:
PDF, 1.74 MB
english, 1991
15

Sequential and concurrent behaviour in Petri net theory

Année:
1987
Langue:
english
Fichier:
PDF, 6.62 MB
english, 1987
17

Recursion and Petri nets

Année:
2001
Langue:
english
Fichier:
PDF, 432 KB
english, 2001
18

The Box Algebra=Petri Nets+Process Expressions

Année:
2002
Langue:
english
Fichier:
PDF, 500 KB
english, 2002
27

State space axioms for T-systems

Année:
2015
Langue:
english
Fichier:
PDF, 476 KB
english, 2015
28

Synthesis and reengineering of persistent systems

Année:
2015
Langue:
english
Fichier:
PDF, 987 KB
english, 2015
36

Investigation on the Dispersal Patterns of Contaminants in Letters

Année:
2003
Langue:
english
Fichier:
PDF, 188 KB
english, 2003
37

Characterisation of the state spaces of marked graph Petri nets

Année:
2016
Langue:
english
Fichier:
PDF, 748 KB
english, 2016
48

Bounded choice-free Petri net synthesis: algorithmic issues

Année:
2017
Langue:
english
Fichier:
PDF, 1.73 MB
english, 2017
49

Pre-synthesis of Petri nets based on prime cycles and distance paths

Année:
2018
Langue:
english
Fichier:
PDF, 564 KB
english, 2018
50

Muskelläsion: Exakte Diagnose erlaubt gute Einschätzung des Heilverlaufs

Année:
2018
Langue:
german
Fichier:
PDF, 919 KB
german, 2018